Partial Komori fields and imperative Komori fields

نویسندگان

  • Jan A. Bergstra
  • Kees Middelburg
چکیده

This paper is concerned with the status of 1 / 0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows. Different viewpoints on the status of 1/0 exist in mathematics and theoretical computer science. We give a simple account of how mathematicians deal with 1 / 0 in which a customary convention among mathematicians plays a prominent part, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1 / 0 is undefined, by means of some logic of partial functions is not attainable.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Robust algorithm associated with a parameterization for the three- parameter lognormal distribution

Associated with a parameterization for the three-parameter lognormal distribution, algorithm was proposed by Komori and Hirose (2004), which can find a local maximum likelihood (ML) estimate surely if it exists. Nevertheless, by Vera and DiazGarcia (2008) it was shown that performance in finding a local ML estimate deteriorated by adopting the parameterization only and using other algorithm. In...

متن کامل

Suitable Algorithm Associated with a Parameterization for the Three-Parameter Log-Normal Distribution

Associated with a parameterization for the three-parameter lognormal distribution, algorithm was proposed by Komori and Hirose (2004), which can find a local maximum likelihood (ML) estimate surely if it exists. Nevertheless, by Vera and Dı́az-Garćıa (2008) it was shown that performance in finding a local ML estimate deteriorated by adopting the parameterization only and using other algorithm. I...

متن کامل

Supplement: Efficient weak second order stochastic Runge-Kutta methods for non-commutative Stratonovich stochastic differential equations

This paper gives a modification of a class of stochastic Runge-Kutta methods proposed in a paper by Komori (2007). The slight modification can reduce the computational costs of the methods significantly.

متن کامل

NII Interview Comment from the Interviewer

Published by National Institute of Informatics, Research Organization of Information and Systems http://www.nii.ac.jp/ Address: National Center of Sciences 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Chief editor: Yoh’ichi Tohkura Cover illustration: Makoto Komori Photography: Hiroyuki Taniguchi, etc. Production: Commercial Design Center Inc. Contact: Publicity and Dissemination Team, Planni...

متن کامل

A case of esophageal adenocarcinoma arising from the ectopic gastric mucosa in the thoracic esophagus

A 75-year old man was detected with a pediculate tumor in the upper esophagus. A biopsy determined that it was an adenocarcinoma. A subtotal esophagectomy with dissection of three-fields of lymph nodes was selected. The pathological study revealed it to be an esophageal adenocarcinoma arising from ectopic gastric mucosa of the fundus of the stomach. His post-operative course was uneventful and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0909.5271  شماره 

صفحات  -

تاریخ انتشار 2009